Перевод: со всех языков на все языки

со всех языков на все языки

logical correspondence principle

См. также в других словарях:

  • Logical positivism — (also known as logical empiricism, scientific philosophy, and neo positivism) is a philosophy that combines empiricism the idea that observational evidence is indispensable for knowledge with a version of rationalism incorporating mathematical… …   Wikipedia

  • Principle of maximum entropy — This article is about the probability theoretic principle. For the classifier in machine learning, see maximum entropy classifier. For other uses, see maximum entropy (disambiguation). Bayesian statistics Theory Bayesian probability Probability… …   Wikipedia

  • Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… …   Wikipedia

  • Curry-Howard correspondence — The Curry Howard correspondence is the direct relationship between computer programs and mathematical proofs. Also known as Curry Howard isomorphism, proofs as programs correspondence and formulae as types correspondence, it refers to the… …   Wikipedia

  • Hume's principle — Hume s Principle, or HP the terms were coined by George Boolos mdash;says that the number of F s is equal to the number of G s if there is a one to one correspondence (a bijection) between the F s and the G s. HP can be stated formally in systems …   Wikipedia

  • Transfer principle — In mathematics, the transfer principle is a concept in Abraham Robinson s non standard analysis of the hyperreal numbers. It states that any sentence expressible in a certain formal language that is true of real numbers is also true of hyperreal… …   Wikipedia

  • physics — /fiz iks/, n. (used with a sing. v.) the science that deals with matter, energy, motion, and force. [1580 90; see PHYSIC, ICS] * * * I Science that deals with the structure of matter and the interactions between the fundamental constituents of… …   Universalium

  • Demarcation problem — The demarcation problem (or boundary problem[1]) in the philosophy of science is about how and where to draw the lines around science. The boundaries are commonly drawn between science and non science, between science and pseudoscience, between… …   Wikipedia

  • Copenhagen interpretation — Quantum mechanics Uncertainty principle …   Wikipedia

  • Truth — For other uses, see Truth (disambiguation). Time Saving Truth from Falsehood and Envy, François Lemoyne, 1737 Truth has a variety of meanings, such as the state of being in accord with fact or reality …   Wikipedia

  • Leibniz: truth, knowledge and metaphysics — Nicholas Jolley Leibniz is in important respects the exception among the great philosophers of the seventeenth century. The major thinkers of the period characteristically proclaim the need to reject the philosophical tradition; in their… …   History of philosophy

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»